($E$$\backslash$)($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$E$($x$,$y$) \& ($\neg$($E$($y$,$x$)))